MATHS581-19A (HAM)

Special Topic in Mathematics 1

15 Points

Edit Header Content
Division of Health Engineering Computing & Science
School of Computing and Mathematical Sciences
Department of Mathematics and Statistics

Staff

Edit Staff Content

Convenor(s)

Tim Stokes

Tim Stokes
4131
G.3.11
To be advised
tim.stokes@waikato.ac.nz

Lecturer(s)

Administrator(s)

:
: rachael.foote@waikato.ac.nz

Placement Coordinator(s)

Tutor(s)

Student Representative(s)

Lab Technician(s)

Librarian(s)

: debby.dada@waikato.ac.nz

You can contact staff by:

  • Calling +64 7 838 4466 select option 1, then enter the extension.
  • Extensions starting with 4, 5, 9 or 3 can also be direct dialled:
    • For extensions starting with 4: dial +64 7 838 extension.
    • For extensions starting with 5: dial +64 7 858 extension.
    • For extensions starting with 9: dial +64 7 837 extension.
    • For extensions starting with 3: dial +64 7 2620 + the last 3 digits of the extension e.g. 3123 = +64 7 262 0123.
Edit Staff Content

Paper Description

Edit Paper Description Content
This paper will cover the application of predicate logic to formal program verification methods, mostly Hoare logic.
Edit Paper Description Content

Paper Structure

Edit Paper Structure Content
Weekly meetings take place in the lecturer's office at a time and day to be arranged.
Edit Paper Structure Content

Learning Outcomes

Edit Learning Outcomes Content

Students who successfully complete the course should be able to:

  • Develop an understanding of, and ability to apply, the verification methods presented.
    Linked to the following assessments:
Edit Learning Outcomes Content
Edit Learning Outcomes Content

Assessment

Edit Assessments Content
Assessment will be a combination of weekly assignments (ten) together with a final three-hour test, equally weighted.
Edit Additional Assessment Information Content

Assessment Components

Edit Assessments Content

The internal assessment/exam ratio (as stated in the University Calendar) is 100:0. There is no final exam. The final exam makes up 0% of the overall mark.

The internal assessment/exam ratio (as stated in the University Calendar) is 100:0 or 0:0, whichever is more favourable for the student. The final exam makes up either 0% or 0% of the overall mark.

Component DescriptionDue Date TimePercentage of overall markSubmission MethodCompulsory
1. Ten weekly assignments.
50
2. A final test.
50
Assessment Total:     100    
Failing to complete a compulsory assessment component of a paper will result in an IC grade
Edit Assessments Content

Required and Recommended Readings

Edit Required Readings Content

Required Readings

Edit Required Readings Content
There are none: materials will be available on Moodle.
Edit Required Readings Content

Online Support

Edit Online Support Content
Moodle will be used throughout.
Edit Online Support Content

Workload

Edit Workload Content
One quarter of a full-time load.
Edit Workload Content

Linkages to Other Papers

Edit Linkages Content

Prerequisite(s)

Corequisite(s)

Equivalent(s)

Restriction(s)

Restricted papers: MATH581

Edit Linkages Content